Israelite Festivals: From Cyclical Time Celebrations to Linear Time Commemorations
نویسندگان
چکیده
منابع مشابه
Optimal Finite-time Control of Positive Linear Discrete-time Systems
This paper considers solving optimization problem for linear discrete time systems such that closed-loop discrete-time system is positive (i.e., all of its state variables have non-negative values) and also finite-time stable. For this purpose, by considering a quadratic cost function, an optimal controller is designed such that in addition to minimizing the cost function, the positivity proper...
متن کاملParticipation in national celebrations and commemorations: The role of socialization and nationalism in the Dutch context.
National celebrations and commemorations are believed to increase national cohesion. It is unknown however who participates in these activities. In this contribution, we address to what extent socialization by the parents and school, and integration into religious intermediary groups affect participation in national celebrations and commemorations. With the strong reference to the relevance of ...
متن کاملFrom Cyclical to Systems Thinking: Cycle Time Reduction in Complex Systems From Cyclical to Systems Thinking: Cycle Time Reduction in Complex Systems
While the cycle time research literature often advocates the principle of “cyclical thinking,” it also often fails to disclose important assumptions, requirements, and ramifications of the use of this tool. As a result, practitioners may encounter significant roadblocks in applying “cyclical thinking” to their cycle time reduction projects. These critical prerequisite and ensuing conditions hav...
متن کاملFreedom, Weakness, and Determinism: From Linear-Time to Branching-Time
Model checking is a method for the veri cation of systems with respect to their speci cations. Symbolic model-checking, which enables the veri cation of large systems, proceeds by calculating xed-point expressions over the system's set of states. The -calculus is a branching-time temporal logic with xed-point operators. As such, it is a convenient logic for symbolic modelchecking tools. In part...
متن کاملFrom Branching to Linear Time, Coalgebraically
We consider state-based systems modelled as coalgebras whose type incorporates branching, and show that by suitably adapting the definition of coalgebraic bisimulation, one obtains a general and uniform account of the linear-time behaviour of a state in such a coalgebra. By moving away from a boolean universe of truth values, our approach can measure the extent to which a state in a system with...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Religions
سال: 2019
ISSN: 2077-1444
DOI: 10.3390/rel10050323